[INFO] fetching crate varisat-checker 0.2.1...
[INFO] checking varisat-checker-0.2.1 against try#72f88fc4e9458f89516a0b8b0868f3718aec5b47 for pr-74989
[INFO] extracting crate varisat-checker 0.2.1 into /workspace/builds/worker-0/source
[INFO] validating manifest of crates.io crate varisat-checker 0.2.1 on toolchain 72f88fc4e9458f89516a0b8b0868f3718aec5b47
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+72f88fc4e9458f89516a0b8b0868f3718aec5b47" "read-manifest" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] started tweaking crates.io crate varisat-checker 0.2.1
[INFO] finished tweaking crates.io crate varisat-checker 0.2.1
[INFO] tweaked toml for crates.io crate varisat-checker 0.2.1 written to /workspace/builds/worker-0/source/Cargo.toml
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+72f88fc4e9458f89516a0b8b0868f3718aec5b47" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+72f88fc4e9458f89516a0b8b0868f3718aec5b47" "fetch" "--locked" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+72f88fc4e9458f89516a0b8b0868f3718aec5b47" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 4939b7853c1e5a4b308ea03be26b6ec00f6b63ae9cd1985a099a4f3a315e890a
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "4939b7853c1e5a4b308ea03be26b6ec00f6b63ae9cd1985a099a4f3a315e890a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "4939b7853c1e5a4b308ea03be26b6ec00f6b63ae9cd1985a099a4f3a315e890a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "4939b7853c1e5a4b308ea03be26b6ec00f6b63ae9cd1985a099a4f3a315e890a", kill_on_drop: false }`
[INFO] [stdout] 4939b7853c1e5a4b308ea03be26b6ec00f6b63ae9cd1985a099a4f3a315e890a
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-0/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "rustops/crates-build-env@sha256:d92eaeed33fa75130ca1ee6c8a01d1ffb62bac859dfdfb3450e3e5d1c0146529" "/opt/rustwide/cargo-home/bin/cargo" "+72f88fc4e9458f89516a0b8b0868f3718aec5b47" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 486f89149ddb14df53da7cb1f7548f1439d7ada8f0d82d0edbf0c77dbfa69091
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "486f89149ddb14df53da7cb1f7548f1439d7ada8f0d82d0edbf0c77dbfa69091", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] [stderr]    Compiling libc v0.2.77
[INFO] [stderr]     Checking cfg-if v0.1.10
[INFO] [stderr]    Compiling proc-macro2 v1.0.21
[INFO] [stderr]    Compiling unicode-xid v0.2.1
[INFO] [stderr]    Compiling getrandom v0.1.15
[INFO] [stderr]     Checking rustc-demangle v0.1.16
[INFO] [stderr]     Checking ppv-lite86 v0.2.9
[INFO] [stderr]    Compiling log v0.4.11
[INFO] [stderr]     Checking remove_dir_all v0.5.3
[INFO] [stderr]     Checking varisat-formula v0.2.1
[INFO] [stderr]     Checking quick-error v1.2.3
[INFO] [stderr]     Checking regex-syntax v0.6.18
[INFO] [stderr]    Compiling num-traits v0.2.12
[INFO] [stderr]     Checking rand_jitter v0.1.4
[INFO] [stderr]    Compiling rand v0.6.5
[INFO] [stderr]     Checking rand_isaac v0.1.1
[INFO] [stderr]     Checking rand_xorshift v0.1.1
[INFO] [stderr]     Checking rand_hc v0.1.0
[INFO] [stderr]     Checking rand_chacha v0.1.1
[INFO] [stderr]     Checking rand_pcg v0.1.2
[INFO] [stderr]     Checking backtrace v0.3.50
[INFO] [stderr]     Checking wait-timeout v0.2.0
[INFO] [stderr]     Checking rand_os v0.1.3
[INFO] [stderr]    Compiling quote v1.0.7
[INFO] [stderr]     Checking rand_core v0.5.1
[INFO] [stderr]     Checking rand_chacha v0.2.2
[INFO] [stderr]    Compiling syn v1.0.40
[INFO] [stderr]     Checking rand v0.7.3
[INFO] [stderr]     Checking tempfile v3.1.0
[INFO] [stderr]     Checking rusty-fork v0.2.2
[INFO] [stderr]     Checking proptest v0.9.6
[INFO] [stderr]    Compiling synstructure v0.12.4
[INFO] [stderr]    Compiling failure_derive v0.1.8
[INFO] [stderr]     Checking failure v0.1.8
[INFO] [stderr]     Checking varisat-internal-proof v0.2.1
[INFO] [stderr]     Checking varisat-dimacs v0.2.1
[INFO] [stderr]     Checking varisat-checker v0.2.1 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0432]: unresolved imports `varisat_formula::cnf_formula`, `varisat_formula::lits`
[INFO] [stdout]     --> src/lib.rs:1248:27
[INFO] [stdout]      |
[INFO] [stdout] 1248 |     use varisat_formula::{cnf_formula, lits};
[INFO] [stdout]      |                           ^^^^^^^^^^^  ^^^^ no `lits` in the root
[INFO] [stdout]      |                           |
[INFO] [stdout]      |                           no `cnf_formula` in the root
[INFO] [stdout]      |
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]      |
[INFO] [stdout] 1248 |     use varisat_formula::{CnfFormula, lits};
[INFO] [stdout]      |                           ^^^^^^^^^^
[INFO] [stdout] help: a similar name exists in the module
[INFO] [stdout]      |
[INFO] [stdout] 1248 |     use varisat_formula::{cnf_formula, lit};
[INFO] [stdout]      |                                        ^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stdout]     --> src/lib.rs:1262:27
[INFO] [stdout]      |
[INFO] [stdout] 1262 |             .add_formula(&cnf_formula![
[INFO] [stdout]      |                           ^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stdout]     --> src/lib.rs:1276:27
[INFO] [stdout]      |
[INFO] [stdout] 1276 |             .add_formula(&cnf_formula![
[INFO] [stdout]      |                           ^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `lits`
[INFO] [stdout]     --> src/lib.rs:1284:26
[INFO] [stdout]      |
[INFO] [stdout] 1284 |                 clause: &lits![-5, 4],
[INFO] [stdout]      |                          ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stdout]     --> src/lib.rs:1296:27
[INFO] [stdout]      |
[INFO] [stdout] 1296 |             .add_formula(&cnf_formula![
[INFO] [stdout]      |                           ^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `lits`
[INFO] [stdout]     --> src/lib.rs:1303:21
[INFO] [stdout]      |
[INFO] [stdout] 1303 |         let lits = &lits![1, 2, 3][..];
[INFO] [stdout]      |                     ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stdout]     --> src/lib.rs:1341:27
[INFO] [stdout]      |
[INFO] [stdout] 1341 |             .add_formula(&cnf_formula![
[INFO] [stdout]      |                           ^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stdout]     --> src/lib.rs:1360:27
[INFO] [stdout]      |
[INFO] [stdout] 1360 |             .add_formula(&cnf_formula![
[INFO] [stdout]      |                           ^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stdout]     --> src/lib.rs:1379:27
[INFO] [stdout]      |
[INFO] [stdout] 1379 |             .add_formula(&cnf_formula![
[INFO] [stdout]      |                           ^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `lits`
[INFO] [stdout]     --> src/lib.rs:1386:26
[INFO] [stdout]      |
[INFO] [stdout] 1386 |                 clause: &lits![1, 2, 3],
[INFO] [stdout]      |                          ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stdout]     --> src/lib.rs:1397:27
[INFO] [stdout]      |
[INFO] [stdout] 1397 |             .add_formula(&cnf_formula![
[INFO] [stdout]      |                           ^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `lits`
[INFO] [stdout]     --> src/lib.rs:1406:26
[INFO] [stdout]      |
[INFO] [stdout] 1406 |                 clause: &lits![1, 2, 3],
[INFO] [stdout]      |                          ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stdout]     --> src/lib.rs:1417:27
[INFO] [stdout]      |
[INFO] [stdout] 1417 |             .add_formula(&cnf_formula![
[INFO] [stdout]      |                           ^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `lits`
[INFO] [stdout]     --> src/lib.rs:1424:34
[INFO] [stdout]      |
[INFO] [stdout] 1424 |             checker.clause_hash(&lits![1, 2, 3]),
[INFO] [stdout]      |                                  ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `lits`
[INFO] [stdout]     --> src/lib.rs:1425:34
[INFO] [stdout]      |
[INFO] [stdout] 1425 |             checker.clause_hash(&lits![-3, 4]),
[INFO] [stdout]      |                                  ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `lits`
[INFO] [stdout]     --> src/lib.rs:1431:26
[INFO] [stdout]      |
[INFO] [stdout] 1431 |                 clause: &lits![1, 2, 4],
[INFO] [stdout]      |                          ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `lits`
[INFO] [stdout]     --> src/lib.rs:1438:26
[INFO] [stdout]      |
[INFO] [stdout] 1438 |                 clause: &lits![1, 2, 3],
[INFO] [stdout]      |                          ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stdout]     --> src/lib.rs:1449:27
[INFO] [stdout]      |
[INFO] [stdout] 1449 |             .add_formula(&cnf_formula![
[INFO] [stdout]      |                           ^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `lits`
[INFO] [stdout]     --> src/lib.rs:1456:50
[INFO] [stdout]      |
[INFO] [stdout] 1456 |             checker.check_step(ProofStep::Model(&lits![-1, 2, -3])),
[INFO] [stdout]      |                                                  ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stdout]     --> src/lib.rs:1465:27
[INFO] [stdout]      |
[INFO] [stdout] 1465 |             .add_formula(&cnf_formula![
[INFO] [stdout]      |                           ^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `lits`
[INFO] [stdout]     --> src/lib.rs:1471:50
[INFO] [stdout]      |
[INFO] [stdout] 1471 |             checker.check_step(ProofStep::Model(&lits![-1, 1, 2, -3])),
[INFO] [stdout]      |                                                  ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stdout]     --> src/lib.rs:1480:27
[INFO] [stdout]      |
[INFO] [stdout] 1480 |             .add_formula(&cnf_formula![
[INFO] [stdout]      |                           ^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `lits`
[INFO] [stdout]     --> src/lib.rs:1488:50
[INFO] [stdout]      |
[INFO] [stdout] 1488 |             checker.check_step(ProofStep::Model(&lits![-1, 2, 3])),
[INFO] [stdout]      |                                                  ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stdout]     --> src/lib.rs:1496:27
[INFO] [stdout]      |
[INFO] [stdout] 1496 |             .add_formula(&cnf_formula![
[INFO] [stdout]      |                           ^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `lits`
[INFO] [stdout]     --> src/lib.rs:1503:49
[INFO] [stdout]      |
[INFO] [stdout] 1503 |             .check_step(ProofStep::Assumptions(&lits![-2]))
[INFO] [stdout]      |                                                 ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `lits`
[INFO] [stdout]     --> src/lib.rs:1507:50
[INFO] [stdout]      |
[INFO] [stdout] 1507 |             checker.check_step(ProofStep::Model(&lits![1, 2])),
[INFO] [stdout]      |                                                  ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stdout]     --> src/lib.rs:1516:27
[INFO] [stdout]      |
[INFO] [stdout] 1516 |             .add_formula(&cnf_formula![
[INFO] [stdout]      |                           ^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `lits`
[INFO] [stdout]     --> src/lib.rs:1523:49
[INFO] [stdout]      |
[INFO] [stdout] 1523 |             .check_step(ProofStep::Assumptions(&lits![-3]))
[INFO] [stdout]      |                                                 ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `lits`
[INFO] [stdout]     --> src/lib.rs:1527:50
[INFO] [stdout]      |
[INFO] [stdout] 1527 |             checker.check_step(ProofStep::Model(&lits![1, 2])),
[INFO] [stdout]      |                                                  ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stdout]     --> src/lib.rs:1536:27
[INFO] [stdout]      |
[INFO] [stdout] 1536 |             .add_formula(&cnf_formula![
[INFO] [stdout]      |                           ^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `lits`
[INFO] [stdout]     --> src/lib.rs:1543:49
[INFO] [stdout]      |
[INFO] [stdout] 1543 |             .check_step(ProofStep::Assumptions(&lits![-2]))
[INFO] [stdout]      |                                                 ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `lits`
[INFO] [stdout]     --> src/lib.rs:1548:31
[INFO] [stdout]      |
[INFO] [stdout] 1548 |                 failed_core: &lits![-2, -3],
[INFO] [stdout]      |                               ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stdout]     --> src/lib.rs:1559:27
[INFO] [stdout]      |
[INFO] [stdout] 1559 |             .add_formula(&cnf_formula![
[INFO] [stdout]      |                           ^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `lits`
[INFO] [stdout]     --> src/lib.rs:1567:49
[INFO] [stdout]      |
[INFO] [stdout] 1567 |             .check_step(ProofStep::Assumptions(&lits![3]))
[INFO] [stdout]      |                                                 ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `lits`
[INFO] [stdout]     --> src/lib.rs:1572:31
[INFO] [stdout]      |
[INFO] [stdout] 1572 |                 failed_core: &lits![3],
[INFO] [stdout]      |                               ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `cnf_formula`
[INFO] [stdout]     --> src/lib.rs:1583:27
[INFO] [stdout]      |
[INFO] [stdout] 1583 |             .add_formula(&cnf_formula![
[INFO] [stdout]      |                           ^^^^^^^^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `lits`
[INFO] [stdout]     --> src/lib.rs:1591:49
[INFO] [stdout]      |
[INFO] [stdout] 1591 |             .check_step(ProofStep::Assumptions(&lits![3, -3, 4]))
[INFO] [stdout]      |                                                 ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: cannot determine resolution for the macro `lits`
[INFO] [stdout]     --> src/lib.rs:1596:31
[INFO] [stdout]      |
[INFO] [stdout] 1596 |                 failed_core: &lits![3, -3],
[INFO] [stdout]      |                               ^^^^
[INFO] [stdout]      |
[INFO] [stdout]      = note: import resolution is stuck, try simplifying macro imports
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 38 previous errors
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0432`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `varisat-checker`.
[INFO] [stderr] 
[INFO] [stderr] To learn more, run the command again with --verbose.
[INFO] running `Command { std: "docker" "inspect" "486f89149ddb14df53da7cb1f7548f1439d7ada8f0d82d0edbf0c77dbfa69091", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "486f89149ddb14df53da7cb1f7548f1439d7ada8f0d82d0edbf0c77dbfa69091", kill_on_drop: false }`
[INFO] [stdout] 486f89149ddb14df53da7cb1f7548f1439d7ada8f0d82d0edbf0c77dbfa69091
